Date: Mon, 11 Nov 1996 20:59:58 GMT
Server: NCSA/1.5
Content-type: text/html
Last-modified: Wed, 01 Nov 1995 15:51:10 GMT
Content-length: 2320

<html>

<head>
<title>SCC: The Safe C Compiler</title>
</head>

<p>
<h1>
SCC: The Safe C Compiler
</h1>
<p>
<h2>
What is SCC?
</h2>
<p>
SCC is an optimizing C-to-C compiler which implements the extended pointer
and array access semantics needed to provide efficient, reliable and immediate
detection of memory access errors in <b><i>unbridled</b></i> C codes.  The
safe programming technologies used in SCC are described in the following
papers:

<blockquote>
<p>
<!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><a href="ftp://ftp.cs.wisc.edu/sohi/safe-c.PLDI94.ps.Z">
  <i>Efficient Detection of All Pointer and Array Access Errors</i></a>,
  Todd M. Austin, Scott E. Breach, and Gurindar S. Sohi,
  Proceedings of the ACM SIGPLAN '94 Conference on Programming
  Language Design and Implementation, June 1994.<br>
<p>
<!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><a href="ftp://ftp.cs.wisc.edu/tech-reports/reports/93/tr1197.ps.Z">
  <i>Efficient Detection of All Pointer and Array Access Errors (extended
  version)</i></a>, Todd M. Austin, Scott E. Breach, and Gurindar S. Sohi,
  University of Wisconsin - Madison Technical Report #1197, December 1993.
  <i>(A longer version of the PLDI '94 paper)</i>.<br>
</blockquote>

<p>
Here are <!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><a href="http://www.cs.wisc.edu/~austin/talk.scc">
slides</a> from a talk I (<!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><a href="http://www.cs.wisc.edu/~austin/austin.html">Todd Austin</a>) gave at PLDI '94 in Orlando, Florida.  The talk detailed the first
incarnation of SCC.  The implementation details are a bit dated, but the
description of the basic technology is still relevant.

<p>
<h2>
How do I get SCC?
</h2>
<p>
The source release for SCC version 1.0.0 is not publicly available from my
home page.  Please send me e-mail (at austin@cs.wisc.edu) for the specifics
on its distribution.

<p>
<h2>
Who made SCC?
</h2>
<p>
SCC is the result of research conducted by
<!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><a href="http://www.cs.wisc.edu/~austin/austin.html">Todd Austin</a>,
<!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><a href="http://www.cs.wisc.edu/~breach/breach.html">Scott Breach</a>,
and
<!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><a href="http://www.cs.wisc.edu/~sohi/sohi.html">Guri Sohi</a>
of the
<!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><a href="http://www.cs.wisc.edu/~mscalar">Wisconsin Multiscalar Group</a>
at the
<!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><a href="http://www.cs.wisc.edu">University of Wisconsin - Madison</a>.
SCC was written by
<!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><a href="http://www.cs.wisc.edu/~austin/austin.html">Todd Austin</a>
(austin@cs.wisc.edu).

<hr>
<address> Last Updated: September 26, 1995 </address>
<hr>

